Section: Application Domains

Software Engineering

Security and Concurrency are two critical issues in software engineering. Any methodology based on formal verification of secure operations is fundamental in the ease of development of applications based on multi-tasking and networking. For instance, Microsoft is much interested by these topics.